Thierry Coquand (* 18. April 1961 in Jallieu, Département Isère) ist ein französischer Mathematiker und Informatiker.
Developed by StudentB